hcf in python